Naish, Lee: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Automating control for logic programs

Journal:

The Journal of Logic Programming

Year:

1985

Language:

english

File:

PDF, 1.17 MB

english, 1985

2

Proving properties of committed choice logic programs

Journal:

The Journal of Logic Programming

Year:

1989

Language:

english

File:

PDF, 1.39 MB

english, 1989

3

Create or Die (Essays on the Artistry of Dennis Hopper) || The Elephant in the Room Dennis Hopper and American Politics

Naish, Stephen Lee

Year:

2016

Language:

english

File:

PDF, 100 KB

english, 2016

4

Shutdown dose rate benchmarking using modern particle transport codes

Eade, Tim, Colling, Bethany, Naish, Jonathan, Packer, Lee, Valentine, Alex

Journal:

Year:

2020

Language:

english

File:

PDF, 1.18 MB

english, 2020

5

A three-valued semantics for logic programmers

Journal:

Theory and Practice of Logic Programming

Year:

2006

Language:

english

File:

PDF, 218 KB

english, 2006

6

Spectral-based fault localization using hyperbolic function

Neelofar, N., Naish, Lee, Ramamohanarao, Kotagiri

Journal:

Software: Practice and Experience

Year:

2017

Language:

english

File:

PDF, 1.23 MB

english, 2017

7

Sustained miniaturization and anatomical innovation in the dinosaurian ancestors of birds

Lee, M. S. Y., Cau, A., Naish, D., Dyke, G. J.

Journal:

Year:

2014

Language:

english

File:

PDF, 568 KB

english, 2014

8

Adtpp: lightweight efficient safe polymorphic algebraic data types for C

Naish, Lee, Schachte, Peter, MacNally, Aleck M.

Journal:

Software: Practice and Experience

Year:

2016

Language:

english

File:

PDF, 2.36 MB

english, 2016

9

Improving spectral-based fault localization using static analysis

Neelofar, Neelofar, Naish, Lee, Lee, Jason, Ramamohanarao, Kotagiri

Journal:

Software: Practice and Experience

Year:

2017

Language:

english

File:

PDF, 1.18 MB

english, 2017

10

Create or Die (Essays on the Artistry of Dennis Hopper) || Hip-Hopp Dennis Hopper and Music

Naish, Stephen Lee

Year:

2016

Language:

english

File:

PDF, 106 KB

english, 2016

11

REVIEWS

McGRAIL, SEÁN, NURSE, G. T., BELLABARBA, SERGIO, GORSKI, RICHARD, QUINN, DAVID B., CUSACK, JANET, BRADLEY, PETER T., LE FEVRE, PETER, LEES, J., MUNDAY, JOHN, DYE, IRA, MARTIN, JAY C., NAISH, JOHN, GRE

Journal:

The Mariner's Mirror

Year:

1998

Language:

english

File:

PDF, 1.84 MB

english, 1998

12

Special issue on ‘Logic Programming and the INTERNET’

STERLING, LEON, NAISH, LEE, HERMENEGILDO, MANUEL

Journal:

Theory and Practice of Logic Programming

Year:

2001

Language:

english

File:

PDF, 76 KB

english, 2001

13

Minimal East Antarctic Ice Sheet retreat onto land during the past eight million years

Shakun, Jeremy D., Corbett, Lee B., Bierman, Paul R., Underwood, Kristen, Rizzo, Donna M., Zimmerman, Susan R., Caffee, Marc W., Naish, Tim, Golledge, Nicholas R., Hay, Carling C.

Journal:

Year:

2018

Language:

english

File:

PDF, 6.06 MB

english, 2018

14

[ACM Press the Australasian Computer Science Week Multiconference - Geelong, Australia (2017.01.31-2017.02.03)] Proceedings of the Australasian Computer Science Week Multiconference on - ACSW '17 - An analysis of New South Wales electronic vote counting

Conway, Andrew, Blom, Michelle, Naish, Lee, Teague, Vanessa

Year:

2017

Language:

english

File:

PDF, 183 KB

english, 2017

15

[IEEE 2009 16th Asia-Pacific Software Engineering Conference (APSEC) - Batu Ferringhi, Penang, Malaysia (2009.12.1-2009.12.3)] 2009 16th Asia-Pacific Software Engineering Conference - Spectral Debugging with Weights and Incremental Ranking

Naish, Lee, Lee, Hua Jie, Ramamohanarao, Kotagiri

Year:

2009

Language:

english

File:

PDF, 237 KB

english, 2009

16

Create or Die (Essays on the Artistry of Dennis Hopper) || White Light/White Heat Actor and Character Collide in White Star

Naish, Stephen Lee

Year:

2016

Language:

english

File:

PDF, 89 KB

english, 2016

17

Create or Die (Essays on the Artistry of Dennis Hopper) || Acknowledgements

Naish, Stephen Lee

Year:

2016

Language:

english

File:

PDF, 66 KB

english, 2016

18

Create or Die (Essays on the Artistry of Dennis Hopper) || Notes

Naish, Stephen Lee

Year:

2016

Language:

english

File:

PDF, 73 KB

english, 2016

19

Create or Die (Essays on the Artistry of Dennis Hopper) || Bibliography

Naish, Stephen Lee

Year:

2016

Language:

english

File:

PDF, 82 KB

english, 2016

20

[ACM Press the 4th annual SIGCSE/SIGCUE ITiCSE conference - Cracow, Poland (1999.06.27-1999.06.30)] Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education - ITiCSE '99 - A strategy for managing content complexity in algorithm animation

Stern, Linda, Søndergaard, Harald, Naish, Lee

Year:

1999

Language:

english

File:

PDF, 453 KB

english, 1999

21

[ACM Press the 33rd SIGCSE technical symposium - Cincinnati, Kentucky (2002.02.27-2002.03.03)] Proceedings of the 33rd SIGCSE technical symposium on Computer science education - SIGCSE '02 - Visual representations for recursive algorithms

Stern, Linda, Naish, Lee

Year:

2002

Language:

english

File:

PDF, 426 KB

english, 2002

22

Radiation Mapping at JET and ITER Using Advanced Computational Acceleration Techniques and Tools

Naish, Jonathan, Fox, Frances, Ghani, Zamir, Loughlin, Michael, Packer, Lee, Turner, Andrew

Journal:

Nuclear Technology

Year:

2015

Language:

english

File:

PDF, 5.24 MB

english, 2015

23

Morphological Clocks in Paleontology, and a Mid-Cretaceous Origin of Crown Aves

Lee, M. S. Y., Cau, A., Naish, D., Dyke, G. J.

Journal:

Systematic Biology

Year:

2014

Language:

english

File:

PDF, 2.07 MB

english, 2014

24

[IEEE 2009 2nd IEEE International Conference on Computer Science and Information Technology - Beijing, China (2009.08.8-2009.08.11)] 2009 2nd IEEE International Conference on Computer Science and Information Technology - Study of the relationship of bug consistency with respect to performance of spectra metrics

Hua Jie Lee,, Naish, Lee, Kotagiri Ramamohanarao,

Year:

2009

Language:

english

File:

PDF, 187 KB

english, 2009

25

[IEEE 2013 22nd Australian Software Engineering Conference (ASWEC) - Hawthorne, Victoria, Australia (2013.06.4-2013.06.7)] 2013 22nd Australian Software Engineering Conference - Duals in Spectral Fault Localization

Naish, Lee, Lee, Hua Jie

Year:

2013

Language:

english

File:

PDF, 188 KB

english, 2013

26

Heterogeneous SLD resolution

Journal:

The Journal of Logic Programming

Year:

1984

Language:

english

File:

PDF, 493 KB

english, 1984

27

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Multiple Bug Spectral Fault Localization Using Genetic Programming

Naish, Lee, Neelofar,, Ramamohanarao, Kotagiri

Year:

2015

Language:

english

File:

PDF, 998 KB

english, 2015

28

Create or Die (Essays on the Artistry of Dennis Hopper) || Introduction

Naish, Stephen Lee

Year:

2016

File:

PDF, 83 KB

2016

29

A model for spectra-based software diagnosis

Naish, Lee, Lee, Hua Jie, Ramamohanarao, Kotagiri

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2011

Language:

english

File:

PDF, 327 KB

english, 2011

30

Transforming floundering into success

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 223 KB

english, 2014

31

Create or Die (Essays on the Artistry of Dennis Hopper) || Commercial Breakdown Dennis Hopper in the World of Advertisements

Naish, Stephen Lee

Year:

2016

Language:

english

File:

PDF, 100 KB

english, 2016

32

TPLP pearls submission guidelines

Journal:

Theory and Practice of Logic Programming

Year:

2001

Language:

english

File:

PDF, 61 KB

english, 2001

33

Truth versus information in logic programming

NAISH, LEE, SØNDERGAARD, HARALD

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 462 KB

english, 2014

34

Create or Die (Essays on the Artistry of Dennis Hopper) || Love and Hate The Conflict of Emotions in The Blackout and Carried Away

Naish, Stephen Lee

Year:

2016

Language:

english

File:

PDF, 115 KB

english, 2016

35

Create or Die (Essays on the Artistry of Dennis Hopper) || Hip-Hopp Dennis Hopper and Music

Naish, Stephen Lee

Year:

2016

File:

PDF, 106 KB

2016

36

Prospective study of change in liver function and fat in patients with colorectal liver metastases undergoing preoperative chemotherapy: protocol for the CLiFF Study

Parmar, Kat L, O'Reilly, Derek, Valle, Juan W, Braun, Michael, Naish, Jo H, Williams, Steve R, Lloyd, William K, Malcomson, Lee, Cresswell, Katharine, Bamford, Colin, Renehan, Andrew G

Journal:

Year:

2020

File:

PDF, 653 KB

2020

37

Create or Die (Essays on the Artistry of Dennis Hopper) || The Elephant in the Room Dennis Hopper and American Politics

Naish, Stephen Lee

Year:

2016

File:

PDF, 100 KB

2016

38

[IEEE 2010 IEEE 34th Annual Computer Software and Applications Conference - COMPSAC 2010 - Seoul, Korea (South) (2010.07.19-2010.07.23)] 2010 IEEE 34th Annual Computer Software and Applications Conference - Effective Software Bug Localization Using Spectral Frequency Weighting Function

Lee, Hua Jie, Naish, Lee, Ramamohanarao, Kotagiri

Year:

2010

Language:

english

File:

PDF, 461 KB

english, 2010

39

Create or Die (Essays on the Artistry of Dennis Hopper) || White Light/White Heat Actor and Character Collide in White Star

Naish, Stephen Lee

Year:

2016

File:

PDF, 89 KB

2016

40

REVIEWS

FROST, HONOR, WATERS, D. W., RITCHIE, G. S., JONES, WILLIAM R., CHILDS, WENDY R., WILLIAMS, GLYNDWR, JACOBS, ELS M., DOLLEY, BRIAN H., DUFFY, MICHAEL, NEWITT, M., NAISH, JOHN, BAUGH, DANIEL A., LEES,

Journal:

The Mariner's Mirror

Year:

1993

Language:

english

File:

PDF, 1.95 MB

english, 1993

41

Create or Die (Essays on the Artistry of Dennis Hopper) || Love and Hate The Conflict of Emotions in The Blackout and Carried Away

Naish, Stephen Lee

Year:

2016

File:

PDF, 115 KB

2016

42

Create or Die (Essays on the Artistry of Dennis Hopper) || Acknowledgements

Naish, Stephen Lee

Year:

2016

File:

PDF, 66 KB

2016

43

[IEEE 2009 2nd IEEE International Conference on Computer Science and Information Technology - Beijing, China (2009.08.8-2009.08.11)] 2009 2nd IEEE International Conference on Computer Science and Information Technology - The effectiveness of using non redundant test cases with program spectra for bug localization

Lee, Hua Jie, Naish, Lee, Ramamohanarao, Kotagiri

Year:

2009

Language:

english

File:

PDF, 120 KB

english, 2009

44

Create or Die (Essays on the Artistry of Dennis Hopper) || Notes

Naish, Stephen Lee

Year:

2016

File:

PDF, 73 KB

2016

45

A strategy for managing content complexity in algorithm animation

Stern, Linda, Søndergaard, Harald, Naish, Lee

Journal:

ACM SIGCSE Bulletin

Year:

1999

Language:

english

File:

PDF, 453 KB

english, 1999

46

Create or Die (Essays on the Artistry of Dennis Hopper) || Frontmatter

Naish, Stephen Lee

Year:

2016

File:

PDF, 56 KB

2016

47

Create or Die (Essays on the Artistry of Dennis Hopper) || Bibliography

Naish, Stephen Lee

Year:

2016

File:

PDF, 82 KB

2016

48

Create or Die (Essays on the Artistry of Dennis Hopper) || Contents

Naish, Stephen Lee

Year:

2016

File:

PDF, 58 KB

2016

49

Declarative diagnosis of missing answers

Journal:

New Generation Computing

Year:

1992

Language:

english

File:

PDF, 1.42 MB

english, 1992

50

[IEEE 2010 17th Asia Pacific Software Engineering Conference (APSEC) - Sydney, Australia (2010.11.30-2010.12.3)] 2010 Asia Pacific Software Engineering Conference - Statements versus Predicates in Spectral Bug Localization

Naish, Lee, Lee, Hua Jie, Ramamohanarao, Kotagiri

Year:

2010

Language:

english

File:

PDF, 332 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски